1. ACM MSWiM 2006 : proceedings of the Ninth ACM Symposium on Modeling, Analysis and Simulation of Wireless and Mobile Systems, October 2-6, 2006, Torremolinos, Malaga, Spain
پدیدآورنده : edited by Enrique Alba & Carla-Fabiana Chiasserini; sponsored by ACM SIGSIM & IEEE Computer Society
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Mobile communication systems,Congresses ، Wireless communication systems
رده :
TK
6570
.
M6A27
2006
2. CASES 2006 : International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, October 22-25, 2006, Seoul, Korea : embedded systems week 2006
پدیدآورنده : sponsored by ACM SigBED, ACM SIGDA, ACM Sigmirco, IEEE Computer Society
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Embedded computer systems,Congresses ، Compilers )Computer programs(
رده :
TK
7895
.
E42C28
2006
3. CSMR 2004 : proceedings : Eight European Conference on Software Maintenance and Reengineering, 24-26 March 2004, Tampere, Finland
پدیدآورنده : sponsored by IEEE Computer Society Technical Council on Software Engineering )TCSE(... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software maintenance,Congresses ، Software reengineering
رده :
QA
76
.
76
.
S64E87
2004
4. Computational compexity: proceedings 15th Annual IEEE Conference on Computational Complexity, July 4-7, 2000, Florence, Italy
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee for Mathematical Foundations of Computing; in cooperation with ACM SIGACT, EATCS
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Computational complexity
رده :
QA
267
.
7
.
S76
2000
5. Computational complexity : proceedings : 17th IEEE Annual Conference on Computational Complexity : 21-24 May, 2002, Montreal, Canada
پدیدآورنده : Sponsored by IEEE Computer Society Techninal Committee on Mathematical Foundation of Computing; in cooperation with SIGACT...
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computational complexity,Congresses ، Nonlinear boundary value problems,Congresses ، Polynomials,Congresses ، Logic programming
رده :
QA
267
.
7
.
I36
2002
6. Computational complexity : proceedings : 16th IEEE Conference on Computational Complexity : June 18-21, 2001, Chicago, Illinois
پدیدآورنده : sponsored by The IEEE Computer Society, Technical Committee for Mathematical Foundations of Computing; in cooperation with ACM SIGACT, EATCS
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computational complexity,Congresses ، Nonlinear boundary value problems,Congresses ، Polynomials,Congresses ، Logic programming
رده :
QA
267
.
7
.
I36
2001
7. Conference on Artificial Interlligence Applications )5th: 1989: Miami, Florida( The Fifth Conference on Artificial Intelligence Applications
پدیدآورنده : sponsored by the IEEE Computer Society Ommi International Hotel, Miami, Florida, March 6-01 9891
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Artificial intelligence,، Expert systems )Computer science(,Congresses ، Machine learning,Congresses ، Robotics
رده :
QA
334
.
C66
1989
8. Conference record, papers presented, November 6-8, 1985, Pacific Grove, California: nineteenth Ailomar Confersnce on Circuits, Systems & Computers
پدیدآورنده : edited by Donald E. Kirk; sponsored by Naval Postgraduate School, IEEE Computer Society
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Electronics,Congresses ، Signal processing,Congresses ، Electric filters,Congresses ، Microelectronics
رده :
TK
7801
.
A83
1985
9. DFT 2002
پدیدآورنده : Sponsored by The IEEE computer society [and]& The IEEE computer society technical committee on fault-tolerant computing [and]& The computer society test technology technical committee
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : Integrated circuitsVery large scale integrationDesign and constructionCongresses,Fault-tolerant computingCongresses
رده :
TK
,
7874
,.
J33
10. Digest of Papers: The Twenty-Fourth International Symposium Fault - Tolerant Computing, June 15-17, 1994, Austin, Texas
پدیدآورنده : Sponsored by IEEE Computer Society Technical Committee on Faul - Tolerant Computing; In cooperation with the University of Texas at Austin
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Fault-tolerant computing - Congresses , Electronic digital computers - Congresses
رده :
QA
76
.
5
.
I58
1994
11. EMSOFT 2006 : proceedings of the Sixth ACM & IEEE International Conference on Embedded Software, October 22-25, 2006, Seoul, Korea : Embedded Systems Week 2006
پدیدآورنده : sponsored by ACM SigBED,..ACM SIGDA, ACM SigMicro, IEEE Computer Society
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Embedded computer systems
رده :
QA
76
.
76
.
D47E57
2006
12. Eighth Heterogeneous Computing Workshop )HCW'99( : proceedings : April 12, 1999, San Juan, Puerto Rico
پدیدآورنده : edited by Viktor K. Prasanna ; co-sponsored by IEEE Computer Society's Technical Committee on Parallel Processing, U. S. Office of Naval Research
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Heterogeneous computing
رده :
QA
76
.
88
.
H48
1999
13. Fifth IEEE Southwest Symposium on Image Analysis and Interpretation, 7-9 April 2002, Santa Fe, New Mexico
پدیدآورنده : sponsored by IEEE Computer Society; in cooperation with IEEE Signal Processing Society
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Image processing,Congresses ، Image analysis
رده :
TA
1637
.
I33
2002
14. Fifth IEEE Southwest Symposium on Image Analysis and Interpretation, 7-9 April 2002, Santa Fe, New Mexico : proceedings
پدیدآورنده : Sponsored by IEEE Computer Society; in cooperation with IEEE Signal Processing Society
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Image processing,Congresses ، Image analysis
رده :
TA
1637
.
I318
2002
15. Fifth IEEE Southwest Symposium on Image Analysis and Interpretation, 7-9 April 2002, Santa Fe, New Mexico: proceedings
پدیدآورنده : sponsored by IEEE Computer Society ; in cooperation with IEEE Signal Processing Society
کتابخانه: كتابخانه پژوهشگاه علوم و فناوری رنگ (تهران)
موضوع : Image processing--Congresses,Image analysis--Congresses
16. #Fifth International Workshop on Object-Oriented Real-Time Dependable Systems : November 18-20, 1999, Monterey, California : proceedings
پدیدآورنده : #sponsored by IEEE Computer Society Technical Committee on Distributed Processing
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Object-oriented databases- Congresses ،Electronic data processing- Distributed processing- Congresses
رده :
#
QA
،#.
D3
,
W676
،#
1999
17. First IEEE Symposium on High-Performance Computer Architecture : proceedings, January 22-25, 1995, Raleigh, North Carolina
پدیدآورنده : sponsored by the IEEE Computer Society Technical Committee on Computer Architecture
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computer architecture - Congresses , Parallel processing )Electronic computers( - Congresses
رده :
QA
76
.
9
.
A73
I33
1995
18. FoSE 2007 : Future of Software Engineering, 23-25 May 2007, Minneapolis, Minnesota
پدیدآورنده : edited by Lionel C. Briand, Alexander L. Wolf; sponsored by IEEE Computer Society Technical Council on Software Engineering, The ACM Special Interest Group on Software Engineering )SIGSOFT(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering
رده :
QA
76
.
758
.
F887
2007
19. Formal description techniques VII, proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques
پدیدآورنده : sponsored by IFIP WG 6.1 in cooperation with ACM SIGCOMM and the IEEE Computer Society Technical Commitee on Distributed Processing; edited by Dieter Hogrefe and Stefan Leue
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
9
.
D5
I545
1994
20. Fourth IEEE International Symposium and Forum on Software Engineering Standards : proceedings
پدیدآورنده : sponsored by IEEE Computer Society Technical Council on Software Engineering, in association witn IEEE Software Engineering Standards Committee ... ]et al.[
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Standards ، Software engineering
رده :
QA
76
.
758
.
I44
1999